a system of symbolic logic devised by George Boole used in computers
कम्प्यूटर में जॉर्ज बूल द्वारा तैयार किए गए प्रतीकात्मक तर्क की एक प्रणाली